向量空间是一个严谨的数学“游戏场”，其定义不取决于对象本身的性质，而在于这些对象的行为方式。无论你处理的是 $\mathbf{R}^n$ 中的箭头、$\mathbf{M}$ 中的矩阵，还是连续函数，都遵循相同的规则。
空间的八条公理
只要一个对象集合遵守以下基本规则，它就是一个向量空间：
- 1. 交换律： $x + y = y + x$
- 2. 结合律： $x + (y + z) = (x + y) + z$
- 3. 零向量： 存在唯一的 $0$，使得 $x + 0 = x$
- 4. 逆元： 对每个 $x$，存在唯一的 $-x$，使得 $x + (-x) = 0$
- 5. 单位元： $1x = x$
- 6. 数乘结合律： $(c_1c_2)x = c_1(c_2x)$
- 7. 分配律（一）： $c(x + y) = cx + cy$
- 8. 分配律（二）： $(c_1 + c_2)x = c_1x + c_2x$
子空间的定义
向量空间 $V$ 的子集 $S$ 是一个在大空间运算下“封闭”的子集。通过加法或数乘操作，你永远无法从该子集中逃逸出去。
封闭性定理
当且仅当对任意 $v, w \in S$ 及任意标量 $c, d$，有：
$$cv + dw \in S$$
这意味着 $S$ 必须包含零向量（$0 \in S$），因为 $0v = 0$。张成与和
集合 $S$ 的 张成 是包含 $S$ 中所有向量的最小子空间：
$$SS = \text{所有 } c_1v_1 + \dots + c_nv_n$$
此外，给定两个子空间 $S$ 与 $T$，它们的 和 $S + T$（包含所有向量 $s+t$）构成一个新的子空间。注意， 并集 $S \cup T$ 几乎从不是子空间！
🎯 “零向量”检验
判断一个子集是否为子空间最快的方法就是检查零向量是否存在。如果 $x=0$ 不在其中，则它不可能是子空间。常见误区包括偏离原点的平面或排除负值的象限。